<html><body bgcolor=white  onload='parent.fileFinishedLoading();'>
Loading types.html info file... 
<script language="javascript">
var at=parent.at;
if(at== undefined) { alert('The code is not yet loaded'); }
at(0,'FILE@0:5');
at(1,'FILE_COMPAT@0:22');
at(2,'_IO_FILE@0:8');
at(3,'_IO_FILE@0:9');
at(4,'_IO_FILE_COMPAT@0:18');
at(5,'_IO_FILE_COMPAT@0:17');
at(6,'_IO_lock_t@0:6');
at(7,'_IO_marker@0:7');
at(8,'_IO_marker_COMPAT@0:20');
at(9,'__ccured_va_list@0:11');
at(10,'__off64_t@0:4');
at(11,'__off_t@0:3');
at(12,'__quad_t@0:2');
at(13,'printf_arguments@0:0');
at(14,'scanf_format@0:10');
at(15,'size_t@0:1');

</script>Done</html>
